Paolo Rolli & Voltaire: modèles littéraires et contestation critique

Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine

Within the framework of collaborative design, it is necessary that specialists of any domain can automatically manage links between different models that are semantically close. Based on a concrete transformation example from a use case diagram (Software Engineering) to a task tree (HCI), languages proposed by model driven engineering (MDE) are evaluated. Our goal is to find an adequate languag...

Modèles et algorithmes pour la traduction automatique

Physique Et Modèles De Dispositifs Photovoltaïques Plastiques

Cette thèse discute le fonctionnement et les mécanismes mis en oeuvre dans les cellules solaires en plastique, composées de différents donneurs et accepteurs et dont l'architecture est décrite par hétérojonction/volume‐hétérojonction. Une attention particulière a été portée à l'étude les conditions nécessaires pour la fabrication de cellules solaires à fort rendement, ceci de manière à aider au...

Prédiction structurée pour l'analyse syntaxique en constituants par transitions : modèles denses et modèles creux

RÉSUMÉ. L’article présente une méthode d’analyse syntaxique en constituants par transitions qui se fonde sur une méthode de pondération des analyses par apprentissage profond. Celle-ci est comparée à une méthode de pondération par perceptron structuré, vue comme plus classique. Nous introduisons tout d’abord un analyseur syntaxique pondéré par un réseau de neurones local et glouton qui s’appuie...

Enrichissement sémantique de méta-modèles XML et UML pour une transformation bidirectionnelle de modèles

RÉSUMÉ. XML est devenu depuis la fin des années 90 le standard pour échanger et envoyer de l’information sur Internet. Le W3C a ensuite préconisé l’utilisation de XML Schema pour définir la structure des documents XML. A ce jour, la modélisation graphique de modèles XML Schema n’est pas standardisée. L’introduction d’un formalisme de définition de modèles est un moyen de rendre la modélisation ...